1461. Notes on logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L9

1462. Notes on logic and set theory

پدیدآورنده :

موضوع : Logic, Symbolic and mathematical,set theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

1463. Notes on logic and set theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory

رده :
QA
9
.
J64
1987

1464. Notes on logic and set theory

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Logic, Symbolic and mathematical.,، Set theory

رده :
QA
9
.
J6N6

1465. Objects and modalities : a study in the semantics of modal logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6T85

1466. [Omega]-Bibliography of Mathematical Logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics.

1467. ]Omega[-bibliography of mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Bibliography ، Logic, Symbolic and mathematical

رده :
Z
6654
.
M26047

1468. On gorup- theoretic decision problems and their classification

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Group, Theory of,، Logic, Symbolic and mathematical

رده :
QA
1
.
A626
no
.
68

1469. On group - Theoretic decision problems and their classification

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Group , theory of,، Logic , Symbolic and mathematical

رده :
QA
171
.
M48

1470. On group-theoretic decision problems and their classification

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Group theory,، Logic, Symbolic and mathematical

رده :
QA
171
.
M48
1971

1471. On group-theoretic decision problems and their classification

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Group theory,، Logic, Symbolic and mathematical

رده :
QA
1
.
A626
no
.
68

1472. On group-theoretic decision problems and their classification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Groups, Theory of,، Logic, Symbolic and mathematical

رده :
QA
171
.
M48

1473. On the Syllogism

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic, Symbolic and Mathematical,Syllogism,منطق ریاضی,قیاس

رده :
BC135
.
D4O5
1966

1474. Ones and zeroes

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory

رده :
TK
,
7888
.
4
,.
G74

1475. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

1476. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

1477. Optimization and computational logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Linear programming , Mathematical optimization , Logic, Symbolic and mathematical

رده :
T
57
.
74
.
M39
1996

1478. Optimization and computational logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical

1479. Optimization methods for logical inference

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical

رده :
QA
402
.
5
.
C4O6

1480. Optimization methods for logical inference

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical

رده :
QA
402
.
5
.
C447
1999